Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
- Författare
- (Edited by Rupak Majumdar, Viktor Kunčak.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer International Publishing, Imprint: Springer | 2017 | Tyskland, Cham | XIX, 601 sidor. 142 illus. online resource. | 978-3-319-63387-9 |
| Springer International Publishing, Imprint: Springer | 2017 | Tyskland, Cham | XVII, 623 sidor. 146 illus. online resource. | 978-3-319-63390-9 |